Auxiliary function - PDFSEARCH.IO - Document Search Engine

Auxiliary function
Results: 31

#	Item
1	Algebra 2. Teorema di Lindemann-Weierstrass. Roma, gennaio 2010 In this note we present Baker’s proof of the Lindemann-Weierstrass Theorem. Let Q denote the algebraic closure of Q inside C. Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2010-01-22 06:36:10 Transcendental numbers Number theory E Exponentials LindemannWeierstrass theorem Pi Constructible universe E-function SchneiderLang theorem Auxiliary function
2	A quantitative version of a theorem due to Borwein-Reich-Shafrir Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:27 Mathematics Circuit complexity NC Banach fixed-point theorem Auxiliary function Differential forms on a Riemann surface
3	RTGDiscrete stochastic optimization with continuous auxiliary variables Rodolphe Le Riche* (speaker), Alexis Lasseigne, François-Xavier Irisarri * CNRS LIMOS and Ecole des Mines de St-Etienne, France ONERA Add to Reading List Source URL: grk1855.tu-dortmund.de Language: English - Date: 2015-02-13 13:31:49** Mathematical optimization Statistics Mathematical analysis Numerical analysis Stochastic optimization Estimation theory Probability theory Simulated annealing Loss function Bayesian optimization Global optimization
4	Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of Add to Reading List Source URL: publications.lib.chalmers.se Language: English - Date: 2010-06-21 11:04:54 Software engineering Declarative programming Mathematics Type theory Functional programming Functions and mappings Polymorphism Computability theory Parametricity Auxiliary function Currying Functor
5	The ABC of Simulation Estimation with Auxiliary Statistics Jean-Jacques Forneron∗ Serena Ng† arXiv:1501.01265v2 [stat.ME] 3 Mar 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-03-03 21:47:23 M-estimator Extremum estimator Maximum likelihood Bayes estimator Loss function Sufficient statistic Generalized method of moments Parametric model Estimator Statistics Estimation theory Statistical theory
6	Maximum Marking Problems with Accumulative Weight Functions Isao Sasano1 , Mizuhito Ogawa2, and Zhenjiang Hu3 1 RIEC, Tohoku University, Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2006-07-16 10:37:04 Operations research Artificial neuron Auxiliary function Logarithm Maxima and minima Mathematics Mathematical analysis Mathematical optimization
7	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 On the Computational Complexity of Partitioning Weighted Points into a Grid of Quadrilaterals Alexander Idelberger∗ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2014-07-27 21:29:04 Auxiliary function NP-complete problems Mathematics Forcing 8J
8	On the meromorphic solutions of certain class of nonlinear differential equations Add to Reading List Source URL: www.journalofinequalitiesandapplications.com Language: English Nevanlinna theory Transcendental numbers Distribution Schneider–Lang theorem Auxiliary function Mathematical analysis Mathematics Diophantine approximation
9	A Tight Combinatorial Algorithm for Submodular Maximization Subject to a Matroid Constraint Yuval Filmus Department of Computer Science University of Toronto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-08-16 03:01:30 Matroid Randomized rounding Auxiliary function Euclidean algorithm Dominating set Mathematics Submodular set function Matroid theory
10	On the Resistance of Prime-variable Rotation Symmetric Boolean Functions against Fast Algebraic Attacks DU Yusong1 * , WEI Baodian2 , ZHANG Fangguo2 & ZHANG Huang2 2 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-06 18:34:47 Matrix theory Matrices Determinants Circulant matrix Numerical linear algebra Matrix Eigenvalues and eigenvectors Theorems and definitions in linear algebra Auxiliary function Algebra Linear algebra Mathematics

UPDATE